Richard marvin us navy captain vietnam war