Peter the Great in foreign literature