After China’s Massive Drill, U.S. Patrols Disputed South China Sea, 10 April 2018