Reporting formalities for ships arriving in or departing from ports