American tourist killed in shark attack while diving in Costa Rica ...