Should push notifications be introduced for engagements with an enemy? For example, your ship takes a hit from an enemy ship