Мухин, Павел Михайлович Мухин, Павел Михайлович дьяк 1692 г. {Половцов} Большая биографическая энциклопедия