Richard marvin us navy vietnam war