Johns Hopkins sells second D.C. office building for $17.5 million to Big Ten school