Red Randall on active duty ([Red Randall series)