Vojenská intervence v Libyi