FIFA spotlights a World Cup record, here we focus on the only two men to have notched a hat-trick of headers at the global finals.