Nigeria’s army says it has killed Boko Haram’s leader—again