Shell Philippines ceases Batangas refinery ops, converts into import terminal