how many crew members were injured in the explosion that destroyed the channel patrol boat ?
four