Monumento a la Armada, Washington, D. C.