Presidents, politicians, and world leaders gathered in Washington DC to pay their final respects to the 41st president of the United States, George H.W. Bush.

Photos courtesy of USA TODAY