South Korea’s deputy finance minister discussed forex with US Treasury official