US senators couldn’t resist joking about Trump’s failed North Korea summit today