I think they named the kid Ronaldus Magnus.
Thanks for the ping. That would be an awesome name for a little Iranian child!