Attack on the U.S. diplomatic mission in Benghazi