“With the 5-to-4 decision upholding Trump's Muslim ban, arbitrary discrimination is now formal U.S. policy, celebrated by a president who campaigned on a 'total ban' of Muslims entering the United States.”