Why did King Benjamin become King Mosiah?

A friend found two passages where the 1830 Book of Mormon names Benjamin and the current edition names Mosiah. They think the first edition put Benjamin in the story after his death.

Exchange 1 of 3

“Were both names changed in 1837?”