Dan Marino's last professional game was the worst final game of all time

A year after he retired, didn't they trade for Ricky Williams?