NFL Network Insider Ian Rapoport reports the Jacksonville Jaguars have traded tight end Julius Thomas to the Miami Dolphins for a seventh round pick.