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