Koupaliště v regionu červen 2020, Královédvorsko