Repsol's Alaska oil find enough to supply Spain for four years