The NFL trade deadline is Tuesday, Nov. 5, at 4 p.m. In the last 10 years, the Miami Dolphins have made nine deadline deals.

Head coach Mike McDaniel made the news official during his weekly day ... The Associated Press, the Dolphins team website, and the Fan Nation Network (part of Sports Illustrated).