Vier keer is scheepsrecht