Musk wants to leave NATO. Thanks to Marco Rubio, that's a lot harder.