I can't recall where I first read it but there are contrasting stories floating around.
I was pleased to hear that Ave Maria was sung at the president's funeral.