Seminole Management Co., Inc. portfolio value