Operation Mincemeat: from British fringe to toast of Broadway?