Precio del dólar en Colombia hoy, martes 17 de octubre de 2023