prins Henrik den 23:e (f.