¿Cuánto es 100 pesos colombianos en dólares estadounidenses en 1972 el jueves 17 de febrero?