A redefinition of Jupiter's rotation period