Operation Mincemeat: a new musical