Would Dan Marino be a good executive for the Dolphins?