Mariono G. Vallejo, SSBN-658