World’s largest Santa Claus is in Portugal; holds Guinness world record