Shell Sells Washington Puget Sound Refinery to Hollyfrontier