How old was Prince Philip at

the time of his death in 2021?