How many portable fire extinguishers are required for the machinery space of a small passenger vessel less than 100 GRT?