181203-N-AM903-025 BETHESDA, Md. (Dec. 3, 2018) Hospitalman Vanessa Sandoval, left, raises the national ensign to full-staff at Walter Reed National Military Medical Center before lowering it to half-staff to honor the passing of former President George H.W. Bush while Hospitalman Paul Aguipo salutes, Dec. 3, 2018. Bush, the 41st president of the United States, died Nov. 30, 2018, in Houston, Texas at the age of 94. Bush flew 58 combat missions as a Navy pilot during World War II, for which he was awarded the Distinguished Flying Cross, three Air Medals, and shared the Presidential Unit Citation awarded to the light aircraft carrier USS San Jacinto (CVL 30). Bush will lie in state at the Capitol Rotunda and be given a state funeral at the National Cathedral in Washington, D.C., before being laid to rest next to former first lady Barbara Bush in College Station, Texas. (U.S. Navy photo by Mass Communication Specialist 3rd Class Julio Martinez Martinez/Released)