Old Manila wall. (The Philippine Islands.)