OT. Does anyone know whether the US is actually assisting in the rescue of the Thai boys? Trump made a vague assertion on this — but what is the extent, if any, of our role?