Mackinac, Formerly Michilimackinac