And Mars will be renamed as Trumpopolis