It said 401 terrorists were killed in July, the highest number recorded in a single month in more than a decade.