It is the duty of the ship’s captain to make port, cost what it may.