Alligator eats Orlando man's pet dog