text: The city of Veracruz is a major port city and municipality on the Gulf of Mexico in the Mexican state of Veracruz .
simplified: The city of Veracruz is an important port city on the Gulf of Mexico in the Mexican state of Veracruz .