Gov. Tyler, of Va.