Gibraltar invaded by over 5,000 cruise liner passengers