Who, as President of U.S., first formally called the Presidential Mansion the "White House"?

History Trivia: Who, as President of U.S., first formally called the Presidential Mansion the "White House"?