Jack Thomas, the mayor of Park City from early 2014 until early 2018, was one of the important figures in the community as City Hall attempted to establish a relationship with Vail Resorts.