Gibraltar. The new pier, 1850