When was a second public service held for Princess Mary