the White House is used for presidential and governmental operations