La marina durante la Guerra Civil Española