The military said in a statement that the rebel hideout in the Shawal mountains was targeted Saturday after authorities received a tip that insurgents were hiding there .