Christopher Stevens y tres estadounidenses más, así como miembros del ejército libio.