Where were the majority of US naval patrols of Korea?