An image from Operation Mincemeat: a new musical, one of the productions that also features Ben Stones.