So it's not just the funding they're trying to put a "pause" on. Looks like there are some holidays they'd like to pause government employees from being able to celebrate as well.