Australian police name Texas man shark victim

George Thomas Wainwright of Texas was the man who was killed by a great white shark on Saturday while diving.