And the Navy Seals aren’t allowed to throw Donald Trump into the ocean.