De zevende keer is scheepsrecht