Yngste danske prinsen döptes tillHarald