Mendes: 'Ronaldo happy with Juve'