An awful awful tragedy.
Any loss is terrible, but the circumstances in this case make it so much worse. 57 is no age. Thoughts with him and his family.
As a side note don’t think it’s right that people are speculating about travel and dredging up various rules.
Just let them sort it out.