The White House flies its flag half-staff in honor of former President George H.W. Bush.