Holt, Francis, active 1644-1699, Mayor of Portsmouth