The flags at the White House have been lowered to half-mast.