World premiere of “Admiral Grace Hopper Revisits”