Does anyone happen to know who made the conjecture on the finiteness of the Tate-Shafarevich group?

Conjecture:
Let $E/K$ be an elliptic curve. Then $Ш(E/K)$ is finite.