Rekordmange turister besøkte Farsund i 2023