The funeral service was held in the cathedral at 1400 on July 23 .
The burial was in Arlington National Cemetery .
The funeral service was held in the cathedral at 1400 on July 23 and the burial was in Arlington National Cemetery .