I think carrying it out, knowing that a passenger had died would have added even more stress to the situation.
As much stress as having a gravely injured but living passenger and needing to get the injured person to medical care as quickly as possible?
Sad as it is...."dead" removes any urgency re the deceased.
These situations are what you get paid for....not all those boring trips where everything goes dead nuts normal.
The Crew did their job in a professional manner as expected.
Some passengers did far more than expected of them.
Lets brag on them a bit shall we.