My condolences to the family, may he RIP!
A doctor on board indeed took care of the formalities. A sad story that should be a wake up call to all of us! Carpe Diem...As it might be over before you realise it.
Lets all donate generously for his family, so at least that is one thing less to worry about.