Washington DC mayor, calls in 700 national Guard troops