“Principal county” means the county in which the lands within a district or a proposed district, or the greater portion thereof, are situated, and is the county in which the petition for the formation of a district is filed.