an Entity references as follows:
Eisenhower State Park is a state park located in Grayson County, Texas, northwest of Denison, Texas on the shores of Lake Texoma. The park is 423.1 acres (171 ha).