Martensen och prinsen erhöll namnen Harald Carl Fredrik.