US will build repair facilities for the Philippine navy near the disputed South China Sea