ägde sorgegudstjänsten rum i Kapitoliums rotunda i Washington.