SpaceX to lay off about 10 percent of its workforce: source