A planet with funny puns on and around it named as Puns Planet