A lot of Biblical characters seem to have multiple names:
https://www.chabad.org/parshah/article_cdo/aid/627663/jewish/What-Was-Moshes-Real-Name.htm
Full legal name, name as used by family, nickname by friends, nickname by enemies, name as used by people who speak other languages....
Edward the VIII was called David by his family before ascending the throne. His brother George the VI was called Bertie, a nickname for Albert. And that is just recent examples.