Dead turtle washes up at Grassy Head Beach