US Navy adds 4,000th Tomahawk Block IV cruise missile to fleet