10,000 walrus ashore on Alaska coast