Treasury Official Hired to Fix Fannie and Freddie Is Leaving