Elon Musk Will Run Into Trouble Setting up a Martian Government, Lawyers Say