When we pronounce 'Pope Gregory XIII', should we pronounce it 'Pope Gregory the XIII'?