With the aid of Navy divers, dredging operations around the Intrepid began on Monday morning. The Navy’s efforts, costing about $3m…