White House flag being lowered to half staff via Getty.