What happened to ladd petroleum corporation?