A larger US naval presence is necessary to protect shipping through the Strait of Hormuz