Penn Entertainment settles lawsuit over board of directors posts with investors