Flags over the United States Capitol were lowered.