A county has a population density of 257 people per square mile. The county population is 4288. What is the area of this county? Round to the nearest square mile if necessary