4, que pertenecían a la Huasteca Petroleum Company.