Today, December 5th, was witness to a National Day of Mourning as the people of the United States and dignitaries from around the world gathered in Washington, D.C. to pay final tribute to the 41st President of the United States, George H.W. Bush. The passing away of the former leader on November 30th triggered a flood of remembrances from every corner of the world. Bush, a naval aviator during World War II, flew 58 combat missions and was awarded the …