Why did the Navy boat driver not use the crash stop button to kill the engine before crashing with the tourist ferry ?