What should the Marlins do before the July 31 nonwaiver deadline?