I had to make an account just to shed light upon something that I'm shocked that no one else has brought up.
http://www.trademarkia.com/holiday-world-hotel-85392870.html
Koch Development Corperation filed for a service mark for "Holiday World Hotel" on August 9th, 2011. KDC is still keeping up with the service mark. It is in its fifth extension, as of March 19th.
With this being said, I could easily see a hotel being part of this huge expansion. (Note, they said expansion, not addition.) The area really lacks hotels. The closest hotel of reasonable size is 10 minutes away in Ferdinand. It would be a wonderful business move IMO.