¿Cuánto es 1 pesos colombianos en dólares estadounidenses en 1988 el miércoles 9 de noviembre?