Erazmo Tićac is well known for being the main ship design engineer of a merchant ship built at a cost of how much ?