They did not. Had they, Congress would’ve done something, given it can legislate and owns the budget. Americans have widely voted for people who actually represent them - craven, shortsighted and mean - to go to Congress.