An Extremely Brief History of Military Submarines