White House. Change of official designation of Executive Mansion [from Executive Mansion to White House].