American boy, 12, attacked by shark in Bahamas