View to the port of Gibraltar from atop the Rock