Bluegrass Boardwalk, Inc., made up of Koch family members who run Holiday World, gets lease agreement for former Kentucky Kingdom Amusement Park [Entertainment]