ماهو الرمز البريدي san jose de porto (san jose de hidalgo)?