Tipo de cambio: ¿cuál es el precio del dólar en el Jr. Ocoña?