kral from kralomoc, a "hot jupiter" exoplanet and "jupiter" in ancient slovak