Trump weighs mask mandate for federal buildings, including White House