Body washes ashore at Half Moon Bay beach: sheriff