Some people are surprised to learn Prince Philip's full birth name