It was thought the Miami Dolphins would make a trade with the Washington Redskins for wide receiver Anthony Armstrong. It didn't happen, but it didn't need to: The 'Fins got their man anyway.