Was it coincidence that Jupiter, the largest planet in the solar system, was named by the ancient Romans/Greeks after the king/father of the gods? Or did they somehow have an idea of its true size?