och fyra amerikanska krigsfartyg.