President Donald Trump’s declaration of an emergency on the US-Mexico border