Giving ghusl to a shaheed

Q: If a person is murdered during a hijacking (shot and died immediately), should he be given ghusal or will he not be given ghusal as a shaheed? 

Our books say he is a shaheed and should not be given ghusal but in our societies, we normally give him a ghusal. Are we making a mistake?