Pfc. Josh Martino was among 7 US marines killed.