Funeral service for the former U.S. President George H.W. Bush in Washington