After pressure from Trump, House Republicans vote to avert shutdown – The Washington Post