An image from Ocean Odyssey, one of the productions that also features David Gross.