Coronado based Navy SEAL killed in ISIS attack

Published: 3:01 PM PDT May 3, 2016
Updated: 3:02 PM PDT May 3, 2016