Código postal de San José del Barranco en Badiraguato, Sinaloa, México