We very rarely get seaweed of any kind on our beach, but today there was a small patch of this plant. Is it perhaps sea lettuce?