Giant rock in Edmonds mobile-home park is ice age boulder