Edison High gets a new pool after more than 50 years