An entrance to the Washington Red Line stop.