The Shutdown would have ended a long time ago if Congress pay was paused