Código postal de Astilleros de Veracruz en Veracruz, Veracruz de Ignacio de la Llave, México