What should the Marines do with Cliff Lee?