¿Cuánto es 2000 pesos colombianos en dólares estadounidenses en 1988 el jueves 9 de junio?