World briefly 5/17

WASHINGTON — President Barack Obama picked a senior White House budget official to become the acting head of the Internal Revenue Service on Thursday, the same day another top official announced plans to leave the agency amid the controversy over