Korean Air jet returns to DFW after problem