Heightened security around Washington DC has seen the arrest of a man carrying a machete and three knives.