Per Henriksen — Norwegian association football player (1952–2024)