The European Seaman’s Smart Card: a Prototype of a Distributed System Allowing Secure Access to a Unified Representation of Maritime Records