Optimal Management of a Potential Invader: The Case of Zebra Mussels in Florida