what star has the biggest radius?
(ARGMAX astronomy.star astronomy.star.radius)