What is the name of the puppet-king in “Mister Rogers’ Neighborhood” (PBS, 1965)?

The name of the puppet-king in “Mister Rogers’ Neighborhood” was King Friday XIII.