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

Photo taken on Dec. 3, 2018 shows the view of the U.S. Capitol, where the casket of late U.S. President George H.W. Bush will lie in state, in Washington D.C., the United States. George H.W. Bush, the 41st president of the United States, died on Nov. 30 at the age of 94. (Xinhua/Liu Jie)