Musk calls for federal troops in San Francisco even as Benioff softens stance