Fox: Former NFL defensive lineman Oliver Gibson dead at 53