4 Marines “seriously injured” (CNN)