Where did the submarine whose reactor was designed by Zalman Shapiro complete a first submerged transit?