Se desató un choque entre el destructor lanzamisiles estadounidense John McCain y un buque mercante con bandera Libia al este de Singapur.
