Portugal isn't issuing a commemorative Ronaldo coin

The online claims allege that 25,000 €7 coins honouring the Portuguese football star would enter circulation, with a purchase price of €7.50.