A decade of dedication: Ohiopyle State Park manager retires