Seven injured in US F-35 incident in South China Sea