Tommy Mason — American football player (1939-2015)