Casket of late former U.S. president George Bush carried to U.S. Capitol

The casket of late former U.S. President George H.W. Bush is carried to the entrance of the U.S. Capitol, where it will lie in state, in Washington D.C., the United States, on Dec. 3, 2018. George H.W. Bush, the 41st president of the United States, died on Nov. 30 at the age of 94. (Xinhua/Liu Jie)