Richard Mason - 17th-century politician