It's WaPo Official: Sequestration Was A Dud