Funeral of former US President George H.W. Bush held in Washington