Text this: Selected Papers from the 2018 IEEE International Workshop on Metrology for the Sea