Ocean resort casino bought by mgm