¿Cuánto es 5000 pesos colombianos en dólares estadounidenses en 1985 el martes 8 de octubre?