Severe storms dumped about half a year’s rainfall in two days, leading to flash floods across both sides of the border.

Within a few days of his January 20 inauguration, President Donald J. Trump issued an executive order that the Gulf of Mexico ...