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