https://profilpelajar.com/article/List_of_ship_decommissionings_in_1942