Y37.020: Military operations involving explosion of marine mine, military personnel