Two boys throwing sand in Puget Sound as Edmonds Ferry comes into port