US tourist killed in shark attack while paddle boarding in Bahamas