Jim, it was the Franklin D. Roosevelt, which I believe was decommissioned in 1978. There's currently a Theodore Roosevelt, which I think is a destroyer, but I might be wrong about that.