Jimmy Johnson was an American football player.