A look at the main fire control box of The Mantis, Wednesday, July 13, 2016.

Christopher DeVargas

A look at the main fire control box of The Mantis, Wednesday, July 13, 2016.