Major Johnny Thompson at King Charles III coronation?