Ocean waves on a rocky beach