Should Donald Trump have gotten assassination insurance?