Did Peter the Great name his city St. Petersburg to tie his own name to it, or was it coincidence that he had the same name as the saint?

Upvotes: 1