American defense officials tell WSJ the guided-missile destroyers transit through the Strait of Hormuz was 'the quietest in a long time'