Código postal de El Astillero (Astilleros) en Hidalgo, Michoacán de Ocampo, México