I was pleased to hear that Ave Maria was sung at the president's funeral.
I noticed that. Isn't the National Cathedral Anglican?