Hertigen af Edinburgh är , som bekant,