News All the ships the US military has deployed to the Caribbean amid tensions with Venezuela October 9, 2025