US tax agency to sack 25% of its employees – WaPo