SeaWorld to phase out killer whale display in San Diego after 2017 | Hacker News Reader